Verifying Generic Erlang Client-Server Implementations (2000)

by T Arts, T Noll
Venue:In Proceedings IFL2000, LNCS 2011