|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 10 van 21 gevonden artikelen
| Titel: |
Formal methods after 15 years: Status and trends a paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, october 1995 |
| Auteur: |
Courtiat, Jean-Pierre Dembinski, Piotr Holzmann, Gerard J. Logrippo, Luigi Rudin, Harry Zave, Pamela |
| Verschenen in: |
Computer networks and ISDN systems |
| Paginering: | Jaargang 28 (1996) nr. 13 pagina's 11 p. |
| Jaar: |
1996 |
| Inhoud: | |
| Uitgever: |
Published by Elsevier B.V. |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 10 van 21 gevonden artikelen
| << vorige | volgende >> |