Jump to Navigation

Comparing abstract semantics for model checking

TitleComparing abstract semantics for model checking
Publication TypeConference Paper
Year of Publication2003
AuthorsGallardo, M-del-M., P. Merino, and E. Pimentel
Conference NameJuan José Moreno y Manuel Palomar (Eds.). Actas de las III Jornadas de Programación y Lenguajes (PROLE'03), Alicante del 12 al 14 de Noviembre de 2003
Date Publishedoct
PublisherUniversidad de Alicante


Main menu 2

Biblio | by Dr. Radut