Formal Methods
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer International Publishing

9783030051556, 9783030051563

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Program Graphs

Formal Methods ◽

10.1007/978-3-030-05156-3_1 ◽

2019 ◽

pp. 1-14 ◽

Cited By ~ 1

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson

Download Full-text

Procedures

Formal Methods ◽

10.1007/978-3-030-05156-3_7 ◽

2019 ◽

pp. 91-108

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson

Download Full-text

Model Checking

Formal Methods ◽

10.1007/978-3-030-05156-3_6 ◽

2019 ◽

pp. 77-90

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson

Keyword(s):

Model Checking

Download Full-text

Language-Based Security

Formal Methods ◽

10.1007/978-3-030-05156-3_5 ◽

2019 ◽

pp. 61-76

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson

Keyword(s):

Language Based Security

Download Full-text

Guarded Commands

Formal Methods ◽

10.1007/978-3-030-05156-3_2 ◽

2019 ◽

pp. 15-30

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson

Download Full-text

Concurrency

Formal Methods ◽

10.1007/978-3-030-05156-3_8 ◽

2019 ◽

pp. 109-123

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson

Download Full-text

Program Analysis

Formal Methods ◽

10.1007/978-3-030-05156-3_4 ◽

2019 ◽

pp. 47-60

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson

Keyword(s):

Program Analysis

Download Full-text

Program Verification

Formal Methods ◽

10.1007/978-3-030-05156-3_3 ◽

2019 ◽

pp. 31-46

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson

Keyword(s):

Program Verification

Download Full-text