Article,
A prototype system for the validation of Pascal programs.
P. Wilkinson, J. Bouchard, B. Byrne, M. Hennell, P. Jackson, G. O'Neill, G. Parkin, and B. Wichmann.Softw. Eng. J., 3 (2): 47-52 (1988)
Meta data
- BibTeX key
- journals/iee/WilkinsonBBHJOP88
- entry type
- article
- year
- 1988
- journal
- Softw. Eng. J.
- number
- 2
- pages
- 47-52
- volume
- 3
- ee
- https://doi.org/10.1049/sej.1988.0005
- url
- http://dblp.uni-trier.de/db/journals/iee/iee-sej3.html#WilkinsonBBHJOP88
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/iee/WilkinsonBBHJOP88
%A Wilkinson, Peter T.
%A Bouchard, J. A.
%A Byrne, B. A.
%A Hennell, Michael A.
%A Jackson, P.
%A O'Neill, G.
%A Parkin, Graeme I. P.
%A Wichmann, Brian A.
%D 1988
%J Softw. Eng. J.
%K dblp
%N 2
%P 47-52
%T A prototype system for the validation of Pascal programs.
%U http://dblp.uni-trier.de/db/journals/iee/iee-sej3.html#WilkinsonBBHJOP88
%V 3
@article{journals/iee/WilkinsonBBHJOP88,
added-at = {2022-03-02T00:00:00.000+0100},
author = {Wilkinson, Peter T. and Bouchard, J. A. and Byrne, B. A. and Hennell, Michael A. and Jackson, P. and O'Neill, G. and Parkin, Graeme I. P. and Wichmann, Brian A.},
biburl = {https://www.bibsonomy.org/bibtex/2357b6726138e1581076e39f1a1741052/dblp},
ee = {https://doi.org/10.1049/sej.1988.0005},
interhash = {3eb5a0a0f631cee216a2161075dc1ffd},
intrahash = {357b6726138e1581076e39f1a1741052},
journal = {Softw. Eng. J.},
keywords = {dblp},
number = 2,
pages = {47-52},
timestamp = {2024-04-08T11:01:11.000+0200},
title = {A prototype system for the validation of Pascal programs.},
url = {http://dblp.uni-trier.de/db/journals/iee/iee-sej3.html#WilkinsonBBHJOP88},
volume = 3,
year = 1988
}