loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Integrating Formal and Informal Specification Techniques. Why? How?
Boca Raton, Florida
October 20-October 23
ISBN: 0-7695-0081-1
ASCII Text
x 
 
Chair: Jean-Michel Bruel, "Integrating Formal and Informal Specification Techniques. Why? How?," Industrial-Strength Formal Specification Techniques, Workshop on, pp. 50, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998.
 
 
BibTex
x
 
@article{ 10.1109/WIFT.1998.766297,
author = {Chair: Jean-Michel Bruel},
title = {Integrating Formal and Informal Specification Techniques. Why? How?},
journal ={Industrial-Strength Formal Specification Techniques, Workshop on},
volume = {0},
year = {1998},
isbn = {0-7695-0081-1},
pages = {50},
doi = {http://doi.ieeecomputersociety.org/10.1109/WIFT.1998.766297},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Industrial-Strength Formal Specification Techniques, Workshop on
TI - Integrating Formal and Informal Specification Techniques. Why? How?
SN - 0-7695-0081-1
SP
EP
A1 - Chair: Jean-Michel Bruel,
PY - 1998
VL - 0
JA - Industrial-Strength Formal Specification Techniques, Workshop on
ER -
 
Chair: Jean-Michel Bruel, Universit de Pau et des Pays de l'Adour
This paper is an overview of the panel session on integrating specification techniques that was held in the International Workshop on Industrial-strength Formal Techniques in October 22nd 1998.
Citation:
Chair: Jean-Michel Bruel, "Integrating Formal and Informal Specification Techniques. Why? How?," wift, pp.50, Second IEEE Workshop on Industrial Strength Formal Specification Techniques, 1998
Usage of this product signifies your acceptance of the Terms of Use.