Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Journal Article
%1 journals/eceasst/StappersR09
%A Stappers, Frank P. M.
%A Reniers, Michel A.
%D 2009
%J ECEASST
%K dblp
%T Verification of safety requirements for program code using data abstraction.
%U http://dblp.uni-trier.de/db/journals/eceasst/eceasst23.html#StappersR09
%V 23
@article{journals/eceasst/StappersR09,
added-at = {2019-05-22T00:00:00.000+0200},
author = {Stappers, Frank P. M. and Reniers, Michel A.},
biburl = {https://www.bibsonomy.org/bibtex/240e2fd5a0dc36938c5089754cd4c702d/dblp},
ee = {https://doi.org/10.14279/tuj.eceasst.23.311},
interhash = {437bf5bf8bd42e76d360d47581334ec2},
intrahash = {40e2fd5a0dc36938c5089754cd4c702d},
journal = {ECEASST},
keywords = {dblp},
timestamp = {2019-05-23T11:50:02.000+0200},
title = {Verification of safety requirements for program code using data abstraction.},
url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst23.html#StappersR09},
volume = 23,
year = 2009
}