Search results for: Anna Mikhajlova
Lecture Notes in Computer Science > FM’99 — Formal Methods > Refinement > 1460-1476
Lecture Notes in Computer Science > Object-Oriented Technology: ECOOP’98 Workshop Reader > Third International Workshop on Component-Oriented > 138-140
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 82-101
Formal Aspects of Computing > 2000 > 12 > 1 > 18-40