Search - Testing Software and Systems

1 Array

Keywords : Proof assistants

	For these 1 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm Robert Sachtleben 32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.236-254, ⟨10.1007/978-3-030-64881-7_15⟩ Conference papers hal-03239826v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More