Formal Methods and Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

37
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Springer International Publishing

9783030324087, 9783030324094
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Design of Point-and-Click User Interfaces for Proof Assistants

2019 ◽  
pp. 86-103
Author(s):  
Bohua Zhan ◽  
Zhenyan Ji ◽  
Wenfan Zhou ◽  
Chaozhu Xiang ◽  
Jie Hou ◽  
...  
Keyword(s):  
User Interfaces ◽  
Proof Assistants

Assessment of a Formal Requirements Modeling Approach on a Transportation System

2019 ◽  
pp. 470-486
Author(s):  
Steve Jeffrey Tueno Fotso ◽  
Régine Laleau ◽  
Marc Frappier ◽  
Amel Mammar ◽  
Francois Thibodeau ◽  
...  
Keyword(s):  
Transportation System ◽  
Modeling Approach ◽  
Requirements Modeling ◽  
Formal Requirements

scholarly journals On the Generation of Equational Dynamic Logics for Weighted Imperative Programs

2019 ◽  
pp. 154-169
Author(s):  
Leandro Gomes ◽  
Alexandre Madeira ◽  
Manisha Jain ◽  
Luis S. Barbosa
Keyword(s):  
Dynamic Logics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document