Search results for: Juan Bicarregui
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 528-545
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Communication > 141-155
Lecture Notes in Computer Science > ZB 2003: Formal Specification and Development in Z and B > 528-545
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Communication > 141-155