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

by Frank Huch
Venue: Proc. of the 10th Int. Workshop on Functional and Logic Programming (WFLP'2001
Citations:1 - 0 self