HOL Light QE. Conferences

authors

• Carette, Jacques
• Farmer, William Michael
• Laskowski, Patrick

publication date

• 2018

published in

• ITP  Journal

International Standard Book Number (ISBN) 13

• 978-3-319-94820-1

start page

• 215

end page

• 234

volume

• 10895