![](/img/cover-not-exists.png)
Templar: a knowledge-based language for software specifications using temporal logic
Tuzhilin, AlexanderVolume:
13
Language:
english
Journal:
ACM Transactions on Information Systems
DOI:
10.1145/203052.203061
Date:
July, 1995
File:
PDF, 2.42 MB
english, 1995