Formal methods in system design
Formato: | Revista digital |
---|---|
Idioma: | Inglés |
Publicado: |
Netherlands :
Kluwer Academic Publishers
[Dordrecht] : Springer Netherlands |
Materias: | |
Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009596842706719 |
Publicado: | Began with v. 1, no. 1 (July 1992) |
---|---|
Notas: | Refereed/Peer-reviewed |
Frecuencia de Publicación: | Bimonthly |
ISSN: | 15728102 |