Constraint-based verification of imperative programs
work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic
| Main Author: | |
|---|---|
| Format: | masterThesis |
| Language: | eng |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10362/7965 |
| Country: | Portugal |
| Oai: | oai:run.unl.pt:10362/7965 |
| Summary: | work presented in the context of the European Master’s program in Computational Logic, as the partial requirement for obtaining Master of Science degree in Computational Logic |
|---|