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

Raymond Aubin Vis

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

*1986
4 Daniel R. Zlatin, Raymond Aubin, Richard D. Peacocke: From Specifications to Test Cases: AI in Software Quality. ICC 1986: 1176-1179
1979
3 Raymond Aubin: Mechanizing Structural Induction Part I: Formal System. Theor. Comput. Sci. 9: 329-345 (1979)
2 Raymond Aubin: Mechanizing Structural Induction Part II: Strategies. Theor. Comput. Sci. 9: 347-362 (1979)
1977
1 Raymond Aubin: Strategies for Mechanizing Structural Induction. IJCAI 1977: 363-369

Coauthor Index

1Richard D. Peacocke [4]
2Daniel R. Zlatin [4]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)