Formal Methods Teaching - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

15
(FIVE YEARS 15)

H-INDEX

1
(FIVE YEARS 1)

Published By Springer International Publishing

9783030324407, 9783030324414
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Computational Relevance of Formal Logic Through Formal Proofs

2019 ◽  
pp. 81-96 ◽  
Author(s):  
Ariane A. Almeida ◽  
Ana Cristina Rocha-Oliveira ◽  
Thiago M. Ferreira Ramos ◽  
Flávio L. C. de Moura ◽  
Mauricio Ayala-Rincón
Keyword(s):  
Formal Logic ◽  
Formal Proofs

Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods

2019 ◽  
pp. 181-195
Author(s):  
Pamela Fleischmann ◽  
Mitja Kulczynski ◽  
Dirk Nowotka ◽  
Thomas Wilke
Keyword(s):  
Formal Methods

scholarly journals Teaching Formal Methods to Future Engineers

2019 ◽  
pp. 69-80 ◽  
Author(s):  
Catherine Dubois ◽  
Virgile Prevosto ◽  
Guillaume Burel
Keyword(s):  
Formal Methods

Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists

2019 ◽  
pp. 23-36
Author(s):  
Léo Creuse ◽  
Claire Dross ◽  
Christophe Garion ◽  
Jérôme Hugues ◽  
Joffrey Huguet
Keyword(s):  
Deductive Verification ◽  
Computer Scientists
Load More ...
Sign in / Sign up

Export Citation Format

Share Document