Wyniki wyszukiwania dla: Junaid Haroon Siddiqui
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Formal Verification > 340-355
Innovations in Systems and Software Engineering > 2013 > 9 > 2 > 119-131
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Formal Verification > 340-355
Innovations in Systems and Software Engineering > 2013 > 9 > 2 > 119-131