a strategy for efficient verification of relational specifications , based on monotonicity analysis
mf frias , r gamarra , g steren , l bourg
proceedings of the 20th ieee/acm international conference on & hellip ; ,