Wikidata

(Q54015882)

English

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

No description defined

  • Computer-Aided Verification
  • CAV '90
In more languages

Statements

instance of
proceedings
0 references
title
Computer-Aided Verification (English)
0 references
publication date
1991
0 references

Identifiers

DOI
10.1007/BFB0023712
0 references
ISBN-13
978-3-540-54477-7
0 references
978-3-540-38394-9
0 references
K10plus PPN ID
595127991
0 references
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit
                    Retrieved from "https://www.wikidata.org/w/index.php?title=Q54015882&oldid=2078359874"