# Efficient compilation of a verification-friendly programming language

> 2019 doctoral thesis by Min-Hsien Weng at University of Waikato

**Wikidata**: [Q112382077](https://www.wikidata.org/wiki/Q112382077)  
**Source**: https://4ort.xyz/entity/efficient-compilation-of-a-verification-friendly-programming-language


## References

1. [Source](https://hdl.handle.net/10289/12432)