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 × Portugal
Collaborated with:
A.Wijs S.A.Roubtsov A.Serebrenik
Talks about:
verifi (2) transform (1) enterpris (1) techniqu (1) correct (1) conform (1) server (1) formal (1) applic (1) verif (1)

Person: Sander de Putter

DBLP DBLP: Putter:Sander_de

Contributed to:

ICEIS v3 20142014
FASE 20162016

Wrote 2 papers:

ICEIS-v3-2014-PutterRS #consistency #enterprise #testing
Testing Conformance of EJB 3 Enterprise Application Servers (SdP, SAR, AS), pp. 272–279.
FASE-2016-PutterW #automaton #correctness #lts #verification
Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique (SdP, AW), pp. 383–400.

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.