Open AccessProceedings of the Third International Workshop on Verification and Program Transformation
Author(s) -
Sebastian Schlesinger,
Paula Herber,
Thomas Göthel,
Sabine Glesner
Publication year - 2015
Publication title -
electronic proceedings in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.338
H-Index - 23
ISSN - 2075-2180
DOI - 10.4204/eptcs.199.5
Subject(s) - transformation (genetics) , political science , computer science , biology , biochemistry , gene