Algorithms

John Field, G. Ramalingam, Frank Tip

Proceeding POPL ’95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1995

Leslie Lamport

January 1995

Egon Börger, Yuri Gurevich, Dean Rosenzweig

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

Alistair Sinclair, Dana Randall, Michael Luby

January 1995

Yuri Gurevich, Raghu Mani

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

Richard M. Karp, Orli Waarts, Geoffrey Zweig

January 1995

David Kurlander, Daniel T. Ling, Dan Ling

MSR-TR-95-21 | January 1995

Roy L. Crole, Andy Gordon

International Workshop on Computer Science Logic | January 1995

Lecture Notes in Computer Science

ISBN: 9783540600176

Tom Barclay, Jim Gray, Chris Nyberg, David Lomet, Zarka Cvetanovic

January 1995

Yuri Gurevich

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