Inproceedings,
A Generalized Approach to Verification Condition Generation.
C. Lourenço, M. Frade, S. Nakajima, and J. Pinto.COMPSAC (1), page 194-203. IEEE Computer Society, (2018)
Meta data
- BibTeX key
- conf/compsac/LourencoF0P18
- entry type
- inproceedings
- booktitle
- COMPSAC (1)
- year
- 2018
- pages
- 194-203
- publisher
- IEEE Computer Society
- crossref
- conf/compsac/2018-1
- ee
- https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2018.00032
- isbn
- 978-1-5386-2667-2
- url
- http://dblp.uni-trier.de/db/conf/compsac/compsac2018-1.html#LourencoF0P18
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/compsac/LourencoF0P18
%A Lourenço, Cláudio Belo
%A Frade, Maria João
%A Nakajima, Shin
%A Pinto, Jorge Sousa
%B COMPSAC (1)
%D 2018
%E Reisman, Sorel
%E Ahamed, Sheikh Iqbal
%E Demartini, Claudio
%E Conte, Thomas M.
%E Liu, Ling
%E Claycomb, William R.
%E Nakamura, Motonori
%E Tovar, Edmundo
%E Cimato, Stelvio
%E Lung, Chung-Horng
%E Takakura, Hiroki
%E Yang, Ji-Jiang
%E Akiyama, Toyokazu
%E Zhang, Zhiyong
%E Hasan, Kamrul
%I IEEE Computer Society
%K dblp
%P 194-203
%T A Generalized Approach to Verification Condition Generation.
%U http://dblp.uni-trier.de/db/conf/compsac/compsac2018-1.html#LourencoF0P18
%@ 978-1-5386-2667-2
@inproceedings{conf/compsac/LourencoF0P18,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Lourenço, Cláudio Belo and Frade, Maria João and Nakajima, Shin and Pinto, Jorge Sousa},
biburl = {https://www.bibsonomy.org/bibtex/2dfc7e6bdd6ad191721571f132574b1ce/dblp},
booktitle = {COMPSAC (1)},
crossref = {conf/compsac/2018-1},
editor = {Reisman, Sorel and Ahamed, Sheikh Iqbal and Demartini, Claudio and Conte, Thomas M. and Liu, Ling and Claycomb, William R. and Nakamura, Motonori and Tovar, Edmundo and Cimato, Stelvio and Lung, Chung-Horng and Takakura, Hiroki and Yang, Ji-Jiang and Akiyama, Toyokazu and Zhang, Zhiyong and Hasan, Kamrul},
ee = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2018.00032},
interhash = {5375c1d9e665a5dc6e5f3afce7f8dd21},
intrahash = {dfc7e6bdd6ad191721571f132574b1ce},
isbn = {978-1-5386-2667-2},
keywords = {dblp},
pages = {194-203},
publisher = {IEEE Computer Society},
timestamp = {2024-04-09T16:53:53.000+0200},
title = {A Generalized Approach to Verification Condition Generation.},
url = {http://dblp.uni-trier.de/db/conf/compsac/compsac2018-1.html#LourencoF0P18},
year = 2018
}