Items where Author is "Noll, Thomas"
Group by: Item Type | No Grouping
Number of items: 3.
Fredlund, Lars-Åke and Gurov, Dilian and Noll, Thomas and Dam, Mads and Arts, Thomas and Chugunov, Gennady (2003) A tool for verifying software written in Erlang. International Journal on Software Tools for Technology Transfer (STTT), 4 (4). pp. 405-420. ISSN 1433-2779 (Print) 1433-2787 (Online)
Conference or Workshop Item
Fredlund, Lars-Åke and Gurov, Dilian and Noll, Thomas (2002) Semi-automated verification of Erlang code. In: 16th conference on Automated Software Engineering (ASE 2001), 26 - 29 Nov 2001, San Diego, California, USA.
Fredlund, Lars-Åke and Gurov, Dilian and Noll, Thomas (2001) The Erlang verification tool. In: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, 2 - 6 Apr 2001, Genova, Italy.