Author

Jose N. Oliveira

2 books found

Cover of FME 2001 : Formal Methods for Increasing Software Productivity

FME 2001 : Formal Methods for Increasing Software Productivity

Jose N. Oliveira, Pamela Zave · First published 2003

Placeholder cover for The formal semantics of deterministic dataflow programs

The formal semantics of deterministic dataflow programs

Jose N. F. Oliveira · First published 1984