Formal Methods Elsewhere (a Satellite Workshop of FORTE-PSTV-2000 Devoted to Applications of Formal Methods to Areas other than Communication, v.43, pp.37 - 52
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.