Development of automatically verifiable systems using data representation synthesis

Bryce W. Cronkite-Ratcliff
2013 Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity - SPLASH '13  
doi:10.1145/2508075.2514874 dblp:conf/oopsla/Cronkite-Ratcliff13 fatcat:mmuu7nih4zbcnhmsfcito5e2jm