2009

Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings

CALCO (Conference) (3rd : 2009 : Udine, Italy)



 

2005

FM 2005 : formal methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005 : proceedings

International Symposium of Formal Methods Europe (13th : 2005 : Newcastle upon Tyne, England)



 

2012

Foundations of algebraic specification and formal software development

Sannella, D. (Donald), 1956-



 

1991

Mathematical foundations of computer science, 1991 : 16th international symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : proceedings

Berlin ; New York : Springer-Verlag, 1991

 

1988

Recent Trends in Data Type Specification : 5th Workshop on Specification of Abstract Data Types Gullane, Scotland, September 1-4, 1987 Selected Papers

Workshop on Specification of Abstract Data Types (5th : 1987 : Gullane, Scotland)



 

1995

Recent Trends in Data Type Specification : 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop S. Margherita, Italy, May 30 - June 3, 1994 Selected Papers

Workshop on Specification of Abstract Data Types (10th : 1994 : Santa Margherita, Italy)