Skip to content

Anne-Louise Radimsky

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

2000–2011

Best venue rank

National

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2011IRIFOZCIL: A framework for converting formal specifications in Object-Z to design contracts in OO programming languages.Nixon Sunny George, Cui Zhang, Anne-Louise Radimsky
2000SIGCSEExperiences in starting computer engineering programs (panel session).Daniel D. McCracken, Manuel A. Prez-Quiones, Robert Bryant, Frederick N. Springsteel, Anne-Louise Radimsky