Work

Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis

Year: 2008

Type: article

Authors: Sungdeok Cha, Jin‐Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan

Institutions: Korea University, Korea Advanced Institute of Science and Technology, University of Pennsylvania, University of Illinois Urbana-Champaign

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W142995770

FWCI: 1.196

Cites:

Cited by: 26

Related to: 10