Science of computer programming

Label

• Science of computer programming (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• Science of Computer Programming. Special issue on formal methods for industrial critical systems (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• Preface (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• The Metro Rio case study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Gate splitting in LOTOS specifications using abstract interpretation (Articolo in rivista) (Prodotto della ricerca)
• Program verification via iterated specialization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• A simple framework for real-time cryptographic protocol analysis with compositional proof rules (Articolo in rivista) (Prodotto della ricerca)
• A state/event-based model-checking approach for the analysis of abstract system properties (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)

Alternative label

• Science of computer programming. (literal)
• Sci. comput. program. (literal)

Language

• eng (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#issn

• 0167-6423 (literal)

Preferred label

• Science of computer programming (literal)

Publisher

• North-Holland Amsterdam : NLD (literal)

Incoming links:

Rivista

• A simple framework for real-time cryptographic protocol analysis with compositional proof rules (Articolo in rivista) (Prodotto della ricerca)
• Preface (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Science of Computer Programming. Special issue on formal methods for industrial critical systems (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
• A state/event-based model-checking approach for the analysis of abstract system properties (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Gate splitting in LOTOS specifications using abstract interpretation (Articolo in rivista) (Prodotto della ricerca)
• The Metro Rio case study (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
• Program verification via iterated specialization (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)