wikidata.org
SIGAda Conference
container_dq2nkmeoqjc5bmcalsv7wxzfgq
Homepage URLs
http://www.acm.org/sigada/ |
Example Publications
Developing verified programs with Dafny
K. Rustan M. Leino
2012
|
SIGAda Conference
doi:10.1145/2402676.2402682 dblp:conf/sigada/Leino12
AdaSlicer
Ricky E. Sward, A.T. Chamillard
2003
|
SIGAda Conference
doi:10.1145/958420.958423 dblp:conf/sigada/SwardC03
Transitioning to Ada in an introductory course for non-majors
A. T. Chamillard, William C. Hobart
1997
|
SIGAda Conference
doi:10.1145/269629.269634 dblp:conf/sigada/ChamillardH97
Data analysis and reporting for real-time Ada systems
Ted Selig, Denise Brunelle Priess, Brian D. Mack
1992
|
SIGAda Conference
doi:10.1145/143557.143996 dblp:conf/sigada/SeligPM92