Reading papers related to ours

kaist-cp / hafnium-verification

Apache License 2.0

1 stars 4 forks source link

Open efenniht opened 5 years ago

efenniht commented 5 years ago

ICSE SEiP에 제출된 논문 중 우리와 비슷한 것들을 읽고 어떻게 썼는 지 참고해 봅시다!

efenniht commented 5 years ago

찾은 것들:

Engineering the Servo Web Browser Engine using Rust (2016)
A Candid Industrial Evaluation of Formal Software Verification using Model Checking (2014)

jeehoonkang commented 5 years ago