Programs, Proofs, Processes: Proceedings of the 6th Conference on Computability in Europe, CiE, 2010

TitlePrograms, Proofs, Processes: Proceedings of the 6th Conference on Computability in Europe, CiE, 2010
Publication TypeConference Proceedings
Year of Conference2010
EditorMayordomo, E, Ferreira F, Löwe B, Gomes LM
Series TitleLecture Notes in Computer Science
Volume6158
PublisherSpringer-Verlag
URLhttp://webdiis.unizar.es/~elvira/research.html
Export