Proof methods and pragmatics for parallel programming (Q56457436)
Jump to navigation
Jump to search
doctoral thesis
Language | Label | Description | Also known as |
---|---|---|---|
English | Proof methods and pragmatics for parallel programming |
doctoral thesis |
Statements
1 reference
Proof methods and pragmatics for parallel programming (English)
1 reference
Chris Tofts
1 reference
1990
1 reference