Volume 1, Number 1-2, December 1997
The Opinion Corner
Special Section on the Electronic Tool Integration Platform
Special Section on Timed and Hybrid Systems
Last update Tue May 21 19:38:40 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page
- Pierre Wolper:
The Meaning of "Formal": From Weak to Strong Formal Methods.