Formal Methods in System Design, ‎0925-9856

Journal