Search results for: Juan Bicarregui
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 60-73
Lecture Notes in Computer Science > B’98: Recent Advances in the Development and Use of the B Method > 148-161
Lecture Notes in Computer Science > Abstract State Machines, B and Z > Chapter 3. B Papers > 181-194
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 2000: Formal Specification and Development in Z and B > 107-126
Electronic Notes in Theoretical Computer Science > 2008 > 197 > 2 > 45-56
Formal Aspects of Computing > 1998 > 10 > 5-6 > 532-549
Science of Computer Programming > 1997 > 29 > 1-2 > 53-78