The Correctness-by-Construction Approach to Programming
Latest Publications

TOTAL DOCUMENTS

7
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642279188, 9783642279195
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Intermediary Examples

2012 ◽  
pp. 95-159
Author(s):  
Derrick G. Kourie ◽  
Bruce W. Watson

Procedures and Recursion

2012 ◽  
pp. 161-195
Author(s):  
Derrick G. Kourie ◽  
Bruce W. Watson

Introduction

2012 ◽  
pp. 1-6 ◽  
Author(s):  
Derrick G. Kourie ◽  
Bruce W. Watson

Simple Examples

2012 ◽  
pp. 55-93
Author(s):  
Derrick G. Kourie ◽  
Bruce W. Watson

Background

2012 ◽  
pp. 7-54 ◽  
Author(s):  
Derrick G. Kourie ◽  
Bruce W. Watson
Load More ...
Sign in / Sign up

Export Citation Format

Share Document