Applied formal methods--FM Trends 98: International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9 1998 : proceedings
Post a Comment
CONTRIBUTORS:
PUBLISHER:
CONFERENCE TITLE:
YEAR:
1999
PUB TYPE:
Conference Proceedings
VOLUME/EDITION:
PAGES:
SUBJECT(S):
Formal methods (Computer science); Congresses
DISCIPLINE:
No discipline assigned
LC NUMBER:
QA76.9.F67 I59 1998
HTTP:
LANGUAGE:
English
PUB ID:
100-436-080
(Last edited on
2002/02/27 16:55:13 US/Mountain )
SPONSOR(S):
ABSTRACT:
Includes bibliographical references.
STATISTICS
Click on # to view
Citations
0
Papers
0
Citations
of Papers
0
Comments
0
Quality
0/0.00
Interest
0/0.00
View(er)s
1/354
Prev |
Next