共 50 条
- [21] Jupiter Made Abstract, and Then Refined Journal of Computer Science and Technology, 2020, 35 : 1343 - 1364
- [22] Preserving correctness of requirements evolution through refinement in Event-B 2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 1, 2013, : 315 - 322
- [26] Abstract State Machines and the Inquiry Process FIELDS OF LOGIC AND COMPUTATION: ESSAYS DEDICATED TO YURI GUREVICH ON THE OCCASION OF HIS 70TH BIRTHDAY, 2010, 6300 : 405 - +
- [28] A SHARPENED VERSION OF ACZEL INEQUALITY BY ABSTRACT CONVEXITY MATHEMATICAL INEQUALITIES & APPLICATIONS, 2021, 24 (03): : 635 - 643
- [29] Probabilistic Modal Specifications (Invited Extended Abstract) FORMAL ASPECTS OF COMPONENT SOFTWARE, 2014, 8348 : 1 - 4
- [30] Automatic Construction of Complete Abstraction by Abstract Interpretation PROCEEDINGS OF THE 8TH IEEE/ACIS INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE, 2009, : 927 - +