Travelled to:
1 × USA
Collaborated with:
M.A.J.Song A.M.Pereira F.Lima S.V.A.Campos W.M.Jr.
Talks about:
specifi (1) commerc (1) verifi (1) system (1) extend (1) uml (1)
Person: Gustavo Gorgulho
DBLP: Gorgulho:Gustavo
Contributed to:
Wrote 1 papers:
- SEKE-2003-SongPLGCM #e-commerce #uml #verification
- Extending UML to Specify and Verify E-commerce Systems (MAJS, AMP, FL, GG, SVAC, WMJ), pp. 306–313.