Back
@misc{SCH94b, author = {Daniel Schweizer}, title = {PESCA: Programming Environment for Safety Critical Applications}, month = {Jan}, year = {1994} }