Back
@misc{SCH93c, author = {Daniel Schweizer and Adreas Würtz}, title = {Programming Environment for Safety Critical Applications Programming Environment for Safety Critical Applications}, month = {Sep}, year = {1993} }