Publication:4438789

From MaRDI portal


zbMath1028.68516MaRDI QIDQ4438789

Tom Mens, Dirk Janssens, Serge Demeyer

Publication date: 10 December 2003

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


68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68Q42: Grammars and rewriting systems

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)


Related Items