Build your own model checker in one month

10.1109/ICSE.2013.6606751

Saved in:

Bibliographic Details
Main Authors:	Dong, J.S., Sun, J., Liu, Y.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2014
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/78051
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-78051
record_format	dspace
spelling	sg-nus-scholar.10635-780512015-02-17T19:16:58Z Build your own model checker in one month Dong, J.S. Sun, J. Liu, Y. COMPUTER SCIENCE 10.1109/ICSE.2013.6606751 Proceedings - International Conference on Software Engineering 1481-1483 PCSED 2014-07-04T03:11:50Z 2014-07-04T03:11:50Z 2013 Conference Paper Dong, J.S.,Sun, J.,Liu, Y. (2013). Build your own model checker in one month. Proceedings - International Conference on Software Engineering : 1481-1483. ScholarBank@NUS Repository. <a href="https://doi.org/10.1109/ICSE.2013.6606751" target="_blank">https://doi.org/10.1109/ICSE.2013.6606751</a> 9781467330763 02705257 http://scholarbank.nus.edu.sg/handle/10635/78051 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	10.1109/ICSE.2013.6606751
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Dong, J.S. Sun, J. Liu, Y.
format	Conference or Workshop Item
author	Dong, J.S. Sun, J. Liu, Y.
spellingShingle	Dong, J.S. Sun, J. Liu, Y. Build your own model checker in one month
author_sort	Dong, J.S.
title	Build your own model checker in one month
title_short	Build your own model checker in one month
title_full	Build your own model checker in one month
title_fullStr	Build your own model checker in one month
title_full_unstemmed	Build your own model checker in one month
title_sort	build your own model checker in one month
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/78051
_version_	1681088571887321088

Build your own model checker in one month

Similar Items