BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
automat (2)
softwar (2)
protocol (2)
natur (1)
develop (1)

Stem setheo$ (all stems)

5 papers:

CAVCAV-1999-Schumann #analysis #authentication #automation #named #protocol
PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols (JS), pp. 500–504.
CADECADE-1997-FischerS #re-engineering #reuse
SETHEO Goes Software Engineering: Application of ATP to Software Reuse (BF, JS), pp. 65–68.
CADECADE-1997-Schumann #automation #encryption #protocol #verification
Automatic Verification of Cryptographic Protocols with SETHEO (JS), pp. 87–100.
CADECADE-1997-WolfS #named #natural language #proving
ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output (AW, JS), pp. 61–64.
CADECADE-1994-GollerLMS
SETHEO V3.2: Recent Developments — System Abstract (CG, RL, KM, JS), pp. 778–782.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.