Implementing an LTL-to-Büchi translator in Erlang: a ProTest experience report
Paper i proceeding, 2009
Testing and model checking
Författare
Hans Svensson
Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)
Proceedings of the 8th ACM SIGPLAN workshop on ERLANG
63-70
978-1-60558-507-9 (ISBN)
Ämneskategorier
Programvaruteknik
DOI
10.1145/1596600.1596610
ISBN
978-1-60558-507-9