: Specification and Refinement of Safety-Critical Java Programs
Science of Computer Programming - Netherlands
doi 10.1016/j.scico.2019.01.002
Full Text
Open PDFAbstract
Available in full text
Categories
Date
July 1, 2019
Authors
Publisher
Elsevier BV