High-Integrity Software
Latest Publications

TOTAL DOCUMENTS

12
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer US

9781468457773, 9781468457759
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Introduction

1989 ◽  
pp. 1-5
Author(s):  
C. T. Sennett

Program analysis and verification

1989 ◽  
pp. 176-197 ◽  
Author(s):  
Bernard Carré
Keyword(s):  
Program Analysis

Program analysis and systematic testing

1989 ◽  
pp. 159-175 ◽  
Author(s):  
M. A. Hennell ◽  
D. Hedley ◽  
I. J. Riddell
Keyword(s):  
Program Analysis ◽  
Systematic Testing

Reliable programming in standard languages

1989 ◽  
pp. 102-121 ◽  
Author(s):  
Bernard Carré
Load More ...
Sign in / Sign up

Export Citation Format

Share Document