XYZ/SE

MaRDI QIDQ15561swMATHFDO

Official website http://www.springerlink.com/content/h55u531v63773957/fulltext.pdf

Described by source

• A structured temporal logic language: XYZ/SE

Cited in

(1)

• A study of an integrated proof strategy

This page was built for software: XYZ/SE