Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Lenore Zuck
Publications
Model Check What You Can, Runtime Verify the Rest
Timothy L. Hinrichs
,
A. Prasad Sistla
and
Lenore D. Zuck
In
:
HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday
Copyright © 2012-2024 easychair.org. All rights reserved.