Difference between revisions of "Publications"

From Ivoire
Jump to navigation Jump to search
Line 6: Line 6:
 
* [https://link.springer.com/chapter/10.1007/978-3-031-17244-1_19 Trace Refinement in B and Event-B]
 
* [https://link.springer.com/chapter/10.1007/978-3-031-17244-1_19 Trace Refinement in B and Event-B]
 
* [https://link.springer.com/chapter/10.1007/978-3-031-17244-1_20 Model Checking B Models via High-Level Code Generation]
 
* [https://link.springer.com/chapter/10.1007/978-3-031-17244-1_20 Model Checking B Models via High-Level Code Generation]
 
  
 
=== Fund related ===
 
=== Fund related ===

Revision as of 09:21, 22 November 2022