Search results for: Andrius Velykis
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2010 > Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software > 230-244
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2010 > Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software > 230-244