BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Italy
1 × United Kingdom
Collaborated with:
B.Beckert M.Giese R.Hähnle V.Klebanov P.Rümmer P.H.Schmitt
Talks about:
calculus (1) arithmet (1) softwar (1) sequent (1) system (1) integr (1) deduct (1) compon (1) verif (1) trace (1)

Person: Steffen Schlager

DBLP DBLP: Schlager:Steffen

Contributed to:

CADE 20072007
IFM 20042004
IJCAR 20012001

Wrote 3 papers:

CADE-2007-BeckertGHKRSS #component #deduction
The KeY system 1.0 (Deduction Component) (BB, MG, RH, VK, PR, SS, PHS), pp. 379–384.
IFM-2004-BeckertS #data type #integer #refinement #verification
Software Verification with Integrated Data Type Refinement for Integer Arithmetic (BB, SS), pp. 207–226.
IJCAR-2001-BeckertS #calculus #first-order #logic
A Sequent Calculus for First-Order Dynamic Logic with Trace Modalities (BB, SS), pp. 626–641.

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.