Travelled to:
1 × Italy
Collaborated with:
A.Pfandler A.Krall F.Puntigam
Talks about:
algorithm (1) contract (1) support (1) paramet (1) design (1) model (1) minim (1) java (1) find (1) fix (1)
Person: Martin Lackner
DBLP: Lackner:Martin
Contributed to:
Wrote 2 papers:
- KR-2012-LacknerP #algorithm #modelling #parametricity
- Fixed-Parameter Algorithms for Finding Minimal Models (ML, AP).
- TOOLS-USA-2002-LacknerKP #contract #design #java
- Supporting Design by Contract in Java (ML, AK, FP), pp. 57–76.