Search results for: Brian Ritchie
Lecture Notes in Computer Science > B’98: Recent Advances in the Development and Use of the B Method > 148-161
Formal Aspects of Computing > 1998 > 10 > 5-6 > 532-549
Lecture Notes in Computer Science > B’98: Recent Advances in the Development and Use of the B Method > 148-161
Formal Aspects of Computing > 1998 > 10 > 5-6 > 532-549