- Record: found
- Abstract: not found
- Book Chapter: not found
Using PVS to prove some theorems of David Parnas
1994
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.