A Generalized Approach to Verification Condition Generation

AuthID
P-00P-KAE
4
Author(s)
Nakajima, S
·
Document Type
Proceedings Paper
Year published
2018
Published
in COMPSAC (1), ISSN: 07303157
Volume: 1, Pages: 194-203 (9)
Indexing
Publication Identifiers
Dblp: conf/compsac/LourencoF0P18
Scopus: 2-s2.0-85055448311
Source Identifiers
ISSN: 07303157
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.