GDPA  
Angelo Gargantini  

A-B-C- D-E-F- G-H-I- J-K-L- M-N-O- P-Q-R- S-T-U- V-W-X- Y-Z

Name

Angelo Gargantini

E-Mail

garganti@elet.polimi.it

Homepage

http://www.elet.polimi.it/Users/DEI/Sections/Compeng/Angelo.Gargantini/index.html

Address

Piazza Leonardo da Vinci
32 - 20133 Milano
Italy
Phone Number: +39-2-2399 3665 
Fax Number: +39-2-2399 3411

Institution

Politecnico di Milano

Publications

/Gargantini, 1999/ Using Model Checking to Generate Tests from Requirements Specifications

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster