Browsing by Author M.Wing, Jeannette
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
1999 | FM’99–FormalMethodsWorldCongressonFormalMethodsintheDevelopmentofComputingSystemsToulouse,France,September20-24,1999Proceedings,VolumeII | M.Wing, Jeannette |