SOFTWARE ENGINEERING JOURNAL

Rivista

Codice:

E156668

ISSN:

0268-6961

Dati Generali

Pubblicazioni (2)

An Abstract Execution Model for Basic LOTOS

Articolo

Implementation of Static Semantic Analysis of LOTOS Specifications

Articolo

No Results Found