형식 검증 (Korean Wikipedia)

Analysis of information sources in references of the Wikipedia article "형식 검증" in Korean language version.

refsWebsite

Global rank Korean rank

2^nd place

3^rd place

580^th place

476^th place

berkeley.edu

embedded.eecs.berkeley.edu

Introduction to Formal Verification, Berkeley University of California, Retrieved November 6, 2013

doi.org

doi.org

Sanjit A. Seshia; Natasha Sharygina; Stavros Tripakis (2018). 〈Chapter 3: Modeling for Verification〉. Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut; Bloem, Roderick. 《Handbook of Model Checking》. Springer. 75–105쪽. doi:10.1007/978-3-319-10575-8. ISBN 978-3-319-10574-1.

dx.doi.org

Sanjit A. Seshia; Natasha Sharygina; Stavros Tripakis (2018). 〈Chapter 3: Modeling for Verification〉. Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut; Bloem, Roderick. 《Handbook of Model Checking》. Springer. 75–105쪽. doi:10.1007/978-3-319-10575-8. ISBN 978-3-319-10574-1.