1 paper · 1 filter
Emil Sekerinski, Tian Zhang
Formal specification techniques allow expressing idealized specifications, which abstract from restrictions that may arise in implementations. However, partial implementations are…