Proof in VDM: A Practitioner’s Guide
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

1
(FIVE YEARS 0)

Published By Springer London

9783540198130, 9781447120339
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Finite Sequences

1994 ◽  
pp. 133-148
Author(s):  
Juan C. Bicarregui ◽  
John S. Fitzgerald ◽  
Peter A. Lindsay ◽  
Richard Moore ◽  
Brian Ritchie
Keyword(s):  
Finite Sequences

Finite Maps

1994 ◽  
pp. 107-131
Author(s):  
Juan C. Bicarregui ◽  
John S. Fitzgerald ◽  
Peter A. Lindsay ◽  
Richard Moore ◽  
Brian Ritchie

Basic Type Constructors

1994 ◽  
pp. 61-70
Author(s):  
Juan C. Bicarregui ◽  
John S. Fitzgerald ◽  
Peter A. Lindsay ◽  
Richard Moore ◽  
Brian Ritchie
Keyword(s):  
Basic Type

Predicate LPF with Equality

1994 ◽  
pp. 39-60
Author(s):  
Juan C. Bicarregui ◽  
John S. Fitzgerald ◽  
Peter A. Lindsay ◽  
Richard Moore ◽  
Brian Ritchie

Proofs From Specifications

1994 ◽  
pp. 161-180 ◽  
Author(s):  
Juan C. Bicarregui ◽  
John S. Fitzgerald ◽  
Peter A. Lindsay ◽  
Richard Moore ◽  
Brian Ritchie

Finite Sets

1994 ◽  
pp. 85-105
Author(s):  
Juan C. Bicarregui ◽  
John S. Fitzgerald ◽  
Peter A. Lindsay ◽  
Richard Moore ◽  
Brian Ritchie
Keyword(s):  
Finite Sets

Numbers

1994 ◽  
pp. 71-84
Author(s):  
Juan C. Bicarregui ◽  
John S. Fitzgerald ◽  
Peter A. Lindsay ◽  
Richard Moore ◽  
Brian Ritchie

Advanced Topics

1994 ◽  
pp. 245-264
Author(s):  
Juan C. Bicarregui ◽  
John S. Fitzgerald ◽  
Peter A. Lindsay ◽  
Richard Moore ◽  
Brian Ritchie

Introduction

1994 ◽  
pp. 1-20
Author(s):  
Juan C. Bicarregui ◽  
John S. Fitzgerald ◽  
Peter A. Lindsay ◽  
Richard Moore ◽  
Brian Ritchie

Directory of Theorems

1994 ◽  
pp. 267-341
Author(s):  
Juan C. Bicarregui ◽  
John S. Fitzgerald ◽  
Peter A. Lindsay ◽  
Richard Moore ◽  
Brian Ritchie
Load More ...
Sign in / Sign up

Export Citation Format

Share Document