Teaching experience: Logic and formal methods with Coq

7086 LNCS

Saved in:

Bibliographic Details
Main Authors:	Henz, M, Hobor, A
Other Authors:	DEPARTMENT OF COMPUTER SCIENCE
Published:	Springer Berlin Heidelberg 2021
Online Access:	https://scholarbank.nus.edu.sg/handle/10635/200873
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-200873
record_format	dspace
spelling	sg-nus-scholar.10635-2008732021-11-24T21:08:39Z Teaching experience: Logic and formal methods with Coq Henz, M Hobor, A DEPARTMENT OF COMPUTER SCIENCE 7086 LNCS 199-215 2021-09-27T01:26:22Z 2021-09-27T01:26:22Z 2011-11-28 2021-09-23T07:50:28Z Henz, M, Hobor, A (2011-11-28). Teaching experience: Logic and formal methods with Coq 7086 LNCS : 199-215. ScholarBank@NUS Repository. 9783642253782 03029743 16113349 https://scholarbank.nus.edu.sg/handle/10635/200873 Springer Berlin Heidelberg Elements
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	7086 LNCS
author2	DEPARTMENT OF COMPUTER SCIENCE
author_facet	DEPARTMENT OF COMPUTER SCIENCE Henz, M Hobor, A
author	Henz, M Hobor, A
spellingShingle	Henz, M Hobor, A Teaching experience: Logic and formal methods with Coq
author_sort	Henz, M
title	Teaching experience: Logic and formal methods with Coq
title_short	Teaching experience: Logic and formal methods with Coq
title_full	Teaching experience: Logic and formal methods with Coq
title_fullStr	Teaching experience: Logic and formal methods with Coq
title_full_unstemmed	Teaching experience: Logic and formal methods with Coq
title_sort	teaching experience: logic and formal methods with coq
publisher	Springer Berlin Heidelberg
publishDate	2021
url	https://scholarbank.nus.edu.sg/handle/10635/200873
_version_	1718367769248923648

Similar Items