FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Modeling Virtual Machines and Interrupts in TLA+ & PlusCal

Author: Valentin Schneider

Paper Information

Title:Modeling Virtual Machines and Interrupts in TLA+ & PlusCal
Authors:Valentin Schneider
Proceedings:TLA Papers
Editor: Stephan Merz
Keywords:
Abstract:
Pages:2
Paper: