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

Erika Nyari

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

1983
3EEErika Nyari, Harry M. Sneed: SOFSPEC: A Pragmatic Approach to Automated Specification Verification. ER 1983: 651-660
2EEErika Nyari, Harry M. Sneed: SOFSPEC: A pragmatic approach to automated specification verification. Journal of Systems and Software 3(3): 193-200 (1983)
1982
1 Erika Nyari: SOFSPEC: A pragmatic approach to automated specification verification. Software-Qualitätssicherung 1982: 173-187

Coauthor Index

1Harry M. Sneed [2] [3]

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