Verified code generation for embedded systems (1973)

by S Glesner, R Geiss, B Boesler
Venue:In Proc. 14th IEEE Symp. on Switching and Automata Theory