Lars-Henrik Eriksson · 3 obras en el catálogoObrasFME 2002Extensions of Logic ProgrammingFFME 2002 : Formal Methods - Getting IT RightFME 2002 : Formal Methods - Getting IT Right