Search results for: Joseph A. Goguen
Lecture Notes in Computer Science > VDM '90 VDM and Z — Formal Methods in Software Development > 12-28
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Formal Techniques > 277-290
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 216-232
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 62-81
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Invited Non-technical Papers > 127-128
Lecture Notes in Computer Science > ECOOP'91 European Conference on Object-Oriented Programming > 180-199
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 132-146