dblp.uni-trier.de

Ralph-Johan. Back

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM - CiteSeer - CSB - Google - HomePageSearch
1997
1EERalph-Johan. Back, Joakim von Wright: Contracts, games and refinement. ENTCS 7: (1997)

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Wed Aug 20 00:20:26 2003