Sinha, Roopak2019-08-212024-04-222019-08-212024-04-222014978-1-4614-7864-5https://drs.ess.gov.et/handle/12345678/79205enConstructionCorrect-by-Construction Approaches for SoC DesignBook