Languages
Siddiqi, Jawed.
Overview
| Works: | 5 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal methods = state of the art and new directions /
by:
Bowen, Jonathan P.; Boca, Paul.; Siddiqi, Jawed.; SpringerLink (Online service)
(Electronic resources)