XYZ/SE

swMATH3027MaRDI QIDQ15561FDOQ15561

Author name not available (Why is that?)

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