automated . development . fundamental . mathematical . theories . reasoning . mechanically . verified . assembly-level . language . moore . strother . quaife . art . stachniak . zbigniew .
Format
Author
Status
List Price