Results 1-1 of 1
Issue Date | Title | Author(s) |
---|---|---|
1993 | Templar: A Knowledge-Based Language for Software Specifications Using Temporal Logic | Tuzhilin, Alexander |
Issue Date | Title | Author(s) |
---|---|---|
1993 | Templar: A Knowledge-Based Language for Software Specifications Using Temporal Logic | Tuzhilin, Alexander |