Cited By
View all- Hasuo I(2019)Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to HybridCyber Physical Systems. Design, Modeling, and Evaluation10.1007/978-3-030-17910-6_1(3-7)Online publication date: 13-Apr-2019
- Hasuo I(2017)Metamathematics for Systems DesignNew Generation Computing10.1007/s00354-017-0023-135:3(271-305)Online publication date: 15-Jul-2017
- Nakamura HKojima KSuenaga KIgarashi A(2017)A Nonstandard Functional Programming LanguageProgramming Languages and Systems10.1007/978-3-319-71237-6_25(514-533)Online publication date: 19-Nov-2017
- Show More Cited By