| Pengarang |
| H.B.M. Jonkers; |
| Judul |
| An overview of the SPRINT method, (LNCS-Lecture Notes in Computer Science 670) Hal 403-427 |
| Judul Artikel |
| Nama Prosiding |
| FME'93: Industrial-strength formal methods: First Internationl Symposium of formal methods Europe-Odense, Denmark ,April 1993 |
| Bahasa |
| Eng |
| No. Seri |
| Lecture Notes in Computer Science 670 |
| Abstrak English |
| Penerbitan |
| Springer, 1993 |
| Kata Kunci |
| Tahun |
| 1993 |
| Subjek |
| No. Panggil |
| 004 Woo f |