Paper Info
Title
Mathematical Methods for Digital Systems Development
Abstract
Without Abstract
Year
DOI
Venue
1991
10.1007/BFb0020002
VDM Europe (2)
Keywords
Field
DocType
mathematical methods,digital systems development
Computational logic,Programming language,Computer science,Automated theorem proving,Assembly language,System development,Abstract machine
Conference
ISBN
Citations 
PageRank 
3-540-54868-8
8
1.15
References 
Authors
7
2
Name
Order
Citations
PageRank
Donald I. Good1126132.14
William D. Young233166.64