Editorial: Special Issue of Automated Verification of Critical Systems

Saved in:
Bibliographic Details
Published in:Science of computer programming 2014-12, Vol.96 (3), p.277-278
Main Authors: Lüttgen, Gerald, Merz, Stephan
Format: Article
Language:English
Subjects:
Computer Science
Logic in Computer Science
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:
ISSN:0167-6423