SODA

Items where Author is "Noll, Thomas"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Number of items: 3.

Article

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.

This list was generated on Thu Dec 14 10:11:04 2017 CET.