Original language | English (US) |
---|---|
Article number | 12801 |
Journal | Science China Information Sciences |
Volume | 62 |
Issue number | 1 |
DOIs | |
State | Published - Jan 1 2019 |
Bibliographical note
Funding Information:Acknowledgements This work was supported by National Natural Science Foundation of China (Grant Nos. 61272086, 61462086, MJ-2015-D-066) and Sino-European Laboratory of Informatics, Automation and Applied Mathematics (Grants for the project Formally Certified Software Tools).