Open AccessOn Formal Descriptions of Code Properties
Author(s) -
Krystian Dudzinski,
Stavros Konstantinidis
Publication year - 2010
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.31.1
Subject(s) - programming language , computer science , code (set theory) , set (abstract data type)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom