Teaching Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540236115, 9783540304722
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Teaching Formal Methods in Context

2004 ◽  
pp. 185-202 ◽  
Author(s):  
Jim Davies ◽  
Andrew Simpson ◽  
Andrew Martin
Keyword(s):  
Formal Methods

Linking Paradigms, Semi-formal and Formal Notations

2004 ◽  
pp. 166-184 ◽  
Author(s):  
Henri Habrias ◽  
Sébastien Faucou

scholarly journals Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns

2004 ◽  
pp. 85-106 ◽  
Author(s):  
Manuel Carro ◽  
Julio Mariño ◽  
Ángel Herranz ◽  
Juan José Moreno-Navarro
Keyword(s):  
Concurrent Programs

Formal Systems, Not Methods

2004 ◽  
pp. 47-64 ◽  
Author(s):  
Martin Loomes ◽  
Bruce Christianson ◽  
Neil Davey
Keyword(s):  
Formal Systems

Motivating Study of Formal Methods in the Classroom

2004 ◽  
pp. 32-46 ◽  
Author(s):  
Joy N. Reed ◽  
Jane E. Sinclair
Keyword(s):  
Formal Methods
Load More ...
Sign in / Sign up

Export Citation Format

Share Document