DocumentCode
2338887
Title
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) [front matter]
fYear
2001
fDate
26-29 Nov. 2001
Abstract
Conference proceedings front matter may contain various advertisements, welcome messages, committee or program information, and other miscellaneous conference information. This may in some cases also include the cover art, table of contents, copyright statements, title-page or half title-pages, blank pages, venue maps or other general information relating to the conference that was part of the original conference proceedings.
Keywords
software engineering; automated software engineering; formal specification; high-assurance systems; model checking; model engineering; program testing; program validation; program verification; reverse engineering;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on
Conference_Location
San Diego, CA, USA
ISSN
1938-4300
Print_ISBN
0-7695-1426-X
Type
conf
DOI
10.1109/ASE.2001.989784
Filename
989784
Link To Document