Veri of Erlang Programs: Factoring out the Side-eect-free Fragment (2000)

by D Gurov, G Chugunov
Venue:In Proc. FMICS 2000, GMD Report No.91