Search results for: Sergiy A. Vilkomir
Lecture Notes in Computer Science > Product Focused Software Process Improvement > Requirements Engineering > 523-537
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 291-308
Lecture Notes in Computer Science > Computational Science – ICCS 2008 > Workshop on Software Engineering for Large-Scale Computing > 291-300
Information and Software Technology > 2009 > 51 > 2 > 478-496
Innovations in Systems and Software Engineering > 2006 > 2 > 3-4 > 165-178
Formal Aspects of Computing > 2006 > 18 > 1 > 42-62