Reset Filters
Author: Apt,Krzysztof R.,

Author Results for De Boer S.

Boer,Frank S. de
SpringerLink (Online service)
(S. H.)
De Boer,S.
FMCO 2005,Amsterdam, Netherlands)
see all »
Apt,Krzysztof R.,
Barthe,Gilles,
Boer,S. P. de
Bonsangue,Marcello M.
Driessen,E. J

1
Verification of sequential and concurrent programs

Cover is for reference only
Main Authors: Apt Krzysztof R., 1949-
Corporate Authors: SpringerLink (Online service)
Group Author: Olderog E.-R.; Boer Frank S. de.
Published: Springer,
Publication Dates: c2009.
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —