Back
@inproceedings{SCH96e, author = {Daniel Schweizer}, title = {PESCA: Programming Environment for Safety Critical Applications}, booktitle = {Priority Programme Informatics Research}, month = {Jan}, year = {1996} }