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
|