TITLE: Fm'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings
PUBLISHER: France
ISBN: 9783540665878
LANGUAGE: ------
DEC-INDEX : ------
PAGES : ------
WEIGHT : ------
CODEPUB :France
SIZE : ------
LOCATION :ENSAS
KEYWORDS:
YEAR: ----
PLACE: Paris
EXAMPS :
| LOCATION | COTE | CODEBAR | STATUS |
|---|---|---|---|
| ENSAS | - - - - - - - - | CA72489 | GOOD-STATUS-DOC |