Type Handling in a Fully Integrated Programming and Specification Language

TitleType Handling in a Fully Integrated Programming and Specification Language
Publication TypeConference Paper
Year of Publication2001
AuthorsKulczycki, G.
Conference NameProceedings of the SAVCBS Workshop at OOPSLA 2001
Date PublishedOctober 2001
Conference LocationTampa, FL
URLhttp://www.cs.iastate.edu/leavens/SAVCBS/papers-2001/index.html