SODA
Login

Items where Author is "Arts, Thomas"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Jump to: Article | Conference or Workshop Item
Number of items: 4.

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

Arts, Thomas and Fredlund, Lars-Åke (2002) Trace analysis of Erlang programs. In: Erlang Workshop, ACM SIGPLAN, 7 Oct 2002, Pittsburgh, Pennsylvania, USA.

Arts, Thomas and Dam, Mads (1999) Verifying a distributed database lookup manager written in Erlang. In: FM'99 - Formal Methods: Proceedings of World Congress on Formal Methods in the Development of Computing Systems, 20- 24 Sept 1999, Toulouse, France.

Arts, Thomas and Dam, Mads and Fredlund, Lars-Åke and Gurov, Dilian (1998) System description: verification of distributed Erlang programs. In: Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction, 1998.

This list was generated on Tue Nov 13 23:14:27 2018 CET.
EPrints Logo
SODA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.