Found 2 Documents (Results 1–2)
Towards a UTP semantics for Modelica. (English) Zbl 1483.68053
Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10134, 44-64 (2017).
Filter Results by …
Document Type
- Journal Articles (1)
- Collection Articles (1)
all
top 5
Author
- Cavalcanti, Ana (2)
- Foster, Simon (2)
- Woodcock, James C. P. (2)
- Canham, Samuel (1)
- Thiele, Bernhard (1)
- Zeyda, Frank (1)
all
top 3
Software
- Circus (2)
- Isabelle/HOL (2)
- Isabelle/UTP (2)
- Lifting (2)
- Sledgehammer (2)
- Transfer (2)
- Archive Formal Proofs (1)
- Eiffel (1)
- Handel-C (1)
- Isabelle (1)
- Isabelle/Circus (1)
- Z (1)