Skip to content
cs-conference-ranking.org

Development of automatically verifiable systems using data representation synthesis.

Bryce W. Cronkite-Ratcliff

VenueAOOPSLA
Year2013
ProceedingsSPLASH (Companion Volume)
DBLP recordconf/oopsla/Cronkite-Ratcliff13 ↗

Browse the full OOPSLA paper archive.