Practical Formal Methods

Thumbnail Image

Files

Primary 207828.pdf (340.63 KB)

Date

2019

Authors

Keiren, J.J.A. Jeroen

Journal Title

Journal ISSN

Volume Title

Publisher

Utrecht : Utrecht University

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Technical Report

Citation

URI

https://hdl.handle.net/2066/207828

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By