Programming languages and software engineering

Yuri Gurevich

Specification and Validation Methods | Published by Oxford University Press | 1995 | Specification and Validation Methods edition

Martin Abadi, Luca Cardelli

European Conference on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science | January 1995

Yuri Gurevich, Raghu Mani

1995 Oxford University Press book, Specification and Validation Methods | January 1995

Richard John Black, Richard Black

December 1994

Dinei Florencio, Ronald W. Schafer

Mathematical Morphology and Its Applications to Image Processing, Critical Morphological Sampling and Its Applications to Image Coding | Published by Springer Netherlands | 1994, Vol 2

ISBN: 978-94-010-4453-0

Andy Gordon

Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland | September 1994

ISBN: 978-3-540-19914-4 (Print) 978-1-4471-3573-9 (Online)

G. Ramalingam

Journal ACM Transactions on Programming Languages and Systems (TOPLAS) | September 1994

Patrick Sansom, Simon Peyton Jones

September 1994

PhD Thesis: University of Glasgow | September 1994

G. Ramalingam, Thomas Reps

August 1994

Yuri Gurevich, James K. Huggins

IFIP 1994 World Computing Congress, Volume 1: Technology and Foundations | July 1994