公開日 Parametric program slicing John Field, G. Ramalingam, Frank Tip Proceeding POPL ’95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | January 1995
公開日 The Bakery Algorithm: Yet Another Specification and Verification Egon Börger, Yuri Gurevich, Dean Rosenzweig 1995 Oxford University Press book, Specification and Validation Methods | January 1995
公開日 Markov Chain Algorithms for Planar Lattice Structures Alistair Sinclair, Dana Randall, Michael Luby January 1995
公開日 Group Membership Protocol: Specification and Verification Yuri Gurevich, Raghu Mani 1995 Oxford University Press book, Specification and Validation Methods | January 1995
公開日 Planning-Based Control of Interface Animation David Kurlander, Daniel T. Ling, Dan Ling MSR-TR-95-21 | January 1995
公開日 A Sound Metalogical Semantics for Input/Output Effects Roy L. Crole, Andy Gordon International Workshop on Computer Science Logic | January 1995 Lecture Notes in Computer Science ISBN: 9783540600176
公開日 AlphaSort: A Cache-Sensitive Parallel External Sort Tom Barclay, Jim Gray, Chris Nyberg, David Lomet, Zarka Cvetanovic January 1995
公開日 Evolving Algebras 1993: Lipari Guide Yuri Gurevich Specification and Validation Methods | Oxford University Press による投稿 | 1995