| http://www.w3.org/ns/prov#value | - Abstract | View in KAR The FM-Elsewhere workshop, co-located with FORTE-PSTV-2000 in Pisa, was a forum for researchers interested in the application of formal methods to virtually any area of research, except communication protocols and software engineering.
|
