Search
1 heading found for Gnesi, Stefania
| Heading | Type | Sample Title | |
|---|---|---|---|
| 1 |
Gnesi, Stefania, 1954-...
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Stefania Gnesi 
Gnesi, S. 
Gnesi, Stefania 
Gnesi, S. (Stefania) 
|
Personal | Abstract State Machines, Alloy, B, VDM, and Z : Third International Conference,
...
An Abstract, on the Fly Framework for the Verification of Service-Oriented Syste ... FME 2003 formal methods : International Symposium of Formal Methods Europe, Pisa ... Applying generalized non deducibility on compositions (GNDC) approach in dependa ... |
