%0 Conference Paper %1 conf/sofl/QianDZT16 %A Qian, Lin %A Duan, Zhenhua %A Zhang, Nan %A Tian, Cong %B SOFL+MSVL %D 2016 %E Liu, Shaoying %E Duan, Zhenhua %E Tian, Cong %E Nagoya, Fumiko %K %P 121-143 %T A Proof System for MSVL Programs in Coq. %U http://dblp.uni-trier.de/db/conf/sofl/sofl2016.html#QianDZT16 %V 10189 %@ 978-3-319-57708-1

@inproceedings{conf/sofl/QianDZT16, added-at = {2023-12-12T22:38:41.000+0100}, author = {Qian, Lin and Duan, Zhenhua and Zhang, Nan and Tian, Cong}, biburl = {https://www.bibsonomy.org/bibtex/2aee485b25303275e5d3bef07ec86d079/admin}, booktitle = {SOFL+MSVL}, crossref = {conf/sofl/2016}, editor = {Liu, Shaoying and Duan, Zhenhua and Tian, Cong and Nagoya, Fumiko}, ee = {https://doi.org/10.1007/978-3-319-57708-1_8}, interhash = {4c792337145096f1306d442340dbbb32}, intrahash = {aee485b25303275e5d3bef07ec86d079}, isbn = {978-3-319-57708-1}, keywords = {}, pages = {121-143}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T22:38:41.000+0100}, title = {A Proof System for MSVL Programs in Coq.}, url = {http://dblp.uni-trier.de/db/conf/sofl/sofl2016.html#QianDZT16}, volume = 10189, year = 2016 }