6,140 followers
#Publication - A specification language for static and runtime verification of data and control properties | Stati… http://t.co/1RL6p4NJlT
#Publication - A specification language for static and runtime verification of data and control properties | Stati… http://t.co/1RL6p4NJlT
A Specification Language for Static and Runtime Verification of Data and Control Properties. - Wolfgang Ahrendt,… http://t.co/xYssi8ZLzk