ACM transactions on software engineering and methodology
- Label
- ACM transactions on software engineering and methodology (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
- A model-checking verification environment for mobile processes (Articolo in rivista) (Prodotto della ricerca)
- Automatic Testing Equivalence Verification of Spi-calculus Specifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A logical verification methodology for service-oriented computing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Formal Approach for Designing CORBA based Applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A scalable formal method for design and automatic checking of user interfaces (Articolo in rivista) (Prodotto della ricerca)
- Alternative label
- Association for Computing Machinery transactions on software engineering and methodology (literal)
- TOSEM (literal)
- ACM trans. softw. eng. methodol. (literal)
- ACM transactions on software engineering and methodology. (literal)
- Transactions on software engineering and methodology (literal)
- Language
- eng (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#issn
- 1049-331X (literal)
- Preferred label
- ACM transactions on software engineering and methodology (literal)
- Publisher
- Association for Computing Machinery, New York, NY : USA (literal)
Incoming links:
- Rivista
- A Formal Approach for Designing CORBA based Applications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Automatic Testing Equivalence Verification of Spi-calculus Specifications (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A model-checking verification environment for mobile processes (Articolo in rivista) (Prodotto della ricerca)
- A scalable formal method for design and automatic checking of user interfaces (Articolo in rivista) (Prodotto della ricerca)
- A logical verification methodology for service-oriented computing (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
