Tool Support for Engineering Certifiable
β
LΓ‘szlΓ³ GΓΆnczy; IstvΓ‘n Majzik; Akos HorvΓ‘th; DΓ‘niel VarrΓ³; AndrΓ‘s Balogh; ZoltΓ‘n
π
Article
π
2009
π
Elsevier Science
π
English
β 690 KB