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 -
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
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb