Browsing by Author Robby

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)
2013Past expression: Encapsulating pre-states at post-conditions by means of AOPYi, J.; Robby; Deng, X.; Roychoudhury, A.