XYZ/SE

swMATH3027MaRDI QIDQ15561FDOQ15561

Author name not available (Why is that?)

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