Session details: Core techniques in formal verification

Date

2010

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

No abstract available.

Description

Keywords

Session (web analytics), Computer science, Core (optical fiber), Formal verification, Programming language

Citation

DOI

10.1145/3254414

URI

https://doi.org/10.1145/3254414
 https://andeanlibrary.org/handle/123456789/69626

Collections

Artículo Científico Publicado