Efficient compilation of a verification-friendly programming language
(Q112382077)
2019 doctoral thesis by Min-Hsien Weng at University of Waikato
2019 doctoral thesis by Min-Hsien Weng at University of Waikato
Language:
Current Data About
Efficient compilation of a verification-friendly programming language
(P31) |
(Q187685)
|
||||||||
(P50) |
(Q112381196)
|
||||||||
(P123) |
(Q111174556)
|
||||||||
(P291) |
(Q200028)
|
||||||||
(P407) |
(Q1860)
|
||||||||
(P495) |
(Q664)
|
||||||||
(P577) |
+2019-00-00T00:00:00Z
|
||||||||
(P921) |
(Q1931693)
(Q173326)
|
||||||||
(P953) |
https://researchcommons.waikato.ac.nz/handle/10289/12432
|
||||||||
(P1476) |
"Efficient compilation of a verification-friendly programming language" (language: en)
|
||||||||
(P3931) |
(Q112381196)
|
||||||||
(P4101) |
(Q606140)
|
||||||||
(P5008) |
(Q111645234)
|
||||||||
(P6216) |
(Q50423863)
|
||||||||
(P6954) |
(Q232932)
|
||||||||
(P9161) |
(Q123415829)
(Q60647635)
(Q118646558)
|
other details
description | 2019 doctoral thesis by Min-Hsien Weng at University of Waikato |
External Links
(P1184) |
10289/12432
|