10 citations · 16 across the 9 of their papers we have counts for
1 paper · 2 filters
Emil Sekerinski, Tian Zhang
Formal specification techniques allow expressing idealized specifications, which abstract from restrictions that may arise in implementations. However, partial implementations are…