Model Checking Erlang Programs { Abstracting the Context-Free Struckture (2001)

by F Huch
Venue:In Proc. of the 10th Int. Workshop on Functional and Logic Programming (WFLP'2001