| |
| 2008 | ||
|---|---|---|
| 3 | EE | K. Lano: Constraint-driven development. Information & Software Technology 50(5): 406-423 (2008) |
| 2007 | ||
| 2 | EE | K. Lano: Formal Specification using Interaction Diagrams. SEFM 2007: 293-304 |
| 1995 | ||
| 1 | EE | K. Lano: Specifying static analysis tools using formal methods. ICECCS 1995: 254- |