scientific article; zbMATH DE number 2006492

zbMath1024.68771MaRDI QIDQ4435866

Sabine Kuske

Publication date: 20 November 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2185/21850241.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Related Items (3)

On modelling recursive calls and callbacks with two variants of unified modelling language state diagrams ⋮ GETGRATS ⋮ Towards automated software model checking using graph transformation systems and bogor

This page was built for publication: