Intra-modular structuring in model-oriented specification View on Open Library

Intra-modular structuring in model-oriented specification

by Juan C. Bicarregui

No reviews yet
First published: 1995 1 language

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Juan C. Bicarregui

Proof in VDM

Proof in VDM