Open AccessTemporal skeletons for verifying time
Author(s) -
Gustaf Naeser,
Kristina Lundqvist,
Lars Asplund
Publication year - 2005
Publication title -
acm sigada ada letters
Language(s) - English
Resource type - Journals
eISSN - 1557-9476
pISSN - 1094-3641
DOI - 10.1145/1104011.1103854
Subject(s) - computer science , correctness , kernel (algebra) , skeleton (computer programming) , notation , programming language , functional verification , source code , transformation (genetics) , formal verification , theoretical computer science , biochemistry , chemistry , mathematics , arithmetic , combinatorics , gene
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