dblp.uni-trier.dewww.uni-trier.de

I. Mearns

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1986
1 Howard Barringer, I. Mearns: A Proof System for Ada Tasks. Comput. J. 29(5): 404-415 (1986)

Coauthor Index

1Howard Barringer [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)