Implementing an LTL-to-Büchi translator in Erlang: a ProTest experience report
Paper in proceeding, 2009
Testing and model checking
Author
Hans Svensson
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
63-70
978-1-60558-507-9 (ISBN)
Subject Categories
Software Engineering
DOI
10.1145/1596600.1596610
ISBN
978-1-60558-507-9