Meta data
- BibTeX key
- conf/ssiri/QuanHNNTNBDHDHNNN10
- entry type
- inproceedings
- booktitle
- SSIRI (Companion)
- year
- 2010
- pages
- 150-156
- publisher
- IEEE Computer Society
- crossref
- conf/ssiri/2010c
- ee
- https://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.36
- isbn
- 978-0-7695-4087-0
- url
- http://dblp.uni-trier.de/db/conf/ssiri/ssiri2010c.html#QuanHNNTNBDHDHNNN10
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/ssiri/QuanHNNTNBDHDHNNN10
%A Quan, Tho T.
%A Hoang, Duc L. N.
%A Nguyen, B. Tam T.
%A Nguyen, An N.
%A Tran, Quan D.
%A Nguyen, Phung H.
%A Bui, Thang H.
%A Do, Anh T.
%A Huynh, Linh V.
%A Doan, Nam T.
%A Huynh, Nguyen T.
%A Nguyen, Thien D.
%A Nguyen, Binh T. T.
%A Nguyen, Vu H.
%B SSIRI (Companion)
%D 2010
%I IEEE Computer Society
%K dblp
%P 150-156
%T MAFSE: A Model-Based Framework for Software Verification.
%U http://dblp.uni-trier.de/db/conf/ssiri/ssiri2010c.html#QuanHNNTNBDHDHNNN10
%@ 978-0-7695-4087-0
@inproceedings{conf/ssiri/QuanHNNTNBDHDHNNN10,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Quan, Tho T. and Hoang, Duc L. N. and Nguyen, B. Tam T. and Nguyen, An N. and Tran, Quan D. and Nguyen, Phung H. and Bui, Thang H. and Do, Anh T. and Huynh, Linh V. and Doan, Nam T. and Huynh, Nguyen T. and Nguyen, Thien D. and Nguyen, Binh T. T. and Nguyen, Vu H.},
biburl = {https://www.bibsonomy.org/bibtex/2f9c6c6aa07cd15ee703f472333f73bd3/dblp},
booktitle = {SSIRI (Companion)},
crossref = {conf/ssiri/2010c},
ee = {https://doi.ieeecomputersociety.org/10.1109/SSIRI-C.2010.36},
interhash = {f640f2d6aed6ab2148ff878dbdb96df2},
intrahash = {f9c6c6aa07cd15ee703f472333f73bd3},
isbn = {978-0-7695-4087-0},
keywords = {dblp},
pages = {150-156},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T14:36:45.000+0200},
title = {MAFSE: A Model-Based Framework for Software Verification.},
url = {http://dblp.uni-trier.de/db/conf/ssiri/ssiri2010c.html#QuanHNNTNBDHDHNNN10},
year = 2010
}