Advances in formal methods.
| Format: | Serial |
|---|---|
| Language: | English |
| Published: |
Dordrecht, Netherlands :
Kluwer Academic,
2000-
|
| Subjects: | |
| Online Availability: |
|
| Published: | Began with: 1, copyrighted 2000. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource |
| Publication Frequency: | Irregular |
| ISSN: | 1567-7338 |