Verified Code Generation for Embedded Systems (0)

by S Glesner, R Geiss, B Boesler
Venue:Electronic Notes in Theoretical Computer Science