I agree that this site is using cookies. You can find further informations here.
X
Csertan, G.
1  results:
Search for persons X
?
1

VIATRA - visual automated transformations for formal verifi..:

, In: Proceedings 17th IEEE International Conference on Automated Software Engineering,,
Csertan, G. ; Huszerl, G. ; Majzik, I.... - p. 267,268,269,270 , 2002
Link: https://doi.org/10.1109/..
 
1-1