researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Formal Methods in System Design
Home
Index
Info
Issue
Volume
20
, Issue
1
5
--
0
Dominique Méry
,
Beverly A. Sanders
.
Editorial Note
7
--
21
K. Mani Chandy
,
Michel Charpentier
.
An Experiment in Program Composition and Proof
23
--
45
Jayadev Misra
.
A Simple, Object-Based View of Multiprogramming
47
--
68
Gruia-Catalin Roman
,
Peter J. McCann
.
A Notation and Logic for Mobile Computing
69
--
89
Jean-Paul Bodeveix
,
Mamoun Filali
.
Reduction and Quantifier Elimination Techniques for Program Validation
91
--
106
Ruben Gamboa
.
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
107
--
125
Ratan Nalumasu
,
Ganesh Gopalakrishnan
.
Deriving Efficient Cache Coherence Protocols Through Refinement