Relational Reasoning about Functions and Nondeterminism (1998)
by
Søren Bøgh Lassen
,
Søren Bøgh Lassen
| Citations: | 31 - 4 self |
BibTeX
@TECHREPORT{Lassen98relationalreasoning,
author = {Søren Bøgh Lassen and Søren Bøgh Lassen},
title = {Relational Reasoning about Functions and Nondeterminism},
institution = {},
year = {1998}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Reproduction of all or part of this work is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent BRICS Dissertation Series publications. Copies may be obtained by contacting: BRICS
