An Approach for Specification Construction Using Property-Preserving Refinement Patterns Proceedings Paper

cited authors

  • Ding, Junhua; Mo, Lian; He, Xudong

fiu authors

publication date

  • 2008

start page

  • 797

end page

  • +

research area