%0 Report %1 McDonaldA01 %A McDonald, James %A Anton, John %D 2001 %K ase deductive_program_synthesis kestrel program_synthesis software_engineering specware techreport %N KES.U.01.3. %T SPECWARE - Producing Software Correct by Construction

@techreport{McDonaldA01, added-at = {2008-04-16T16:23:42.000+0200}, author = {McDonald, James and Anton, John}, biburl = {https://www.bibsonomy.org/bibtex/2551660924eb5995f73ed0e65fb1186f2/emanuel}, institution = {Kestrel Institute}, interhash = {ae1c77982d13847e1c437c8ea74e80d3}, intrahash = {551660924eb5995f73ed0e65fb1186f2}, keywords = {ase deductive_program_synthesis kestrel program_synthesis software_engineering specware techreport}, number = {KES.U.01.3.}, timestamp = {2008-04-16T16:23:43.000+0200}, title = {{SPECWARE} - Producing Software Correct by Construction}, year = 2001 }