2007
 | Info |
 | See www.tcs.hut.fi ... |
| Info |
| See www.tcs.hut.fi ... |
2007 | ||||||
| 2 | Vesa Ojala. SMUML/slicer 1.0.0 — a slicer for slicing UML state machines, 2007. Computer program. |
| ||||
| 1 | Vesa Ojala. SMUML/canal 1.0.0 — a counterexample analysator for analyzing abstract counterexamples from data abstracted UML models, 2007. Computer program. |
| ||||