tommaso bolognesi
Formal Methods for Distributed System Development
Print on Demandth The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Dis...
LOTOSphere: Software Development with LOTOS
Print on DemandLOTOS (Language Of Temporal Ordering Specification) became an international standard in 1989, alt...
Formal Methods for Distributed System Development
Print on Demandth The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Dis...
- 1