3. ICFEM 2000:
York, England, UK 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, 4 - 7 September 2000, York, England, UK, Proceedings. IEEE Computer Society, online publication:
- Mohamed Jmaiel:
A Unified Algebraic Framework for Specifying Communication Protocols.
- Tetsuo Tamai:
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ.
Formal and Informal Notations
- Werner Damm:
Offering Formal Verification Capabilities for Industry Standard Case Tools: Challenges and Results.
Theory and Practice
Last update Tue May 21 16:57:41 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page