Wyniki wyszukiwania
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 1. ABZ Invited Talks > 4-23
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Automated Analysis > 246-265
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 1. ABZ Invited Talks > 4-23
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Automated Analysis > 246-265