A Formal Proof of Pasting Lemma in Isabelle/HOL.

Authors :: Jianlin Wang
Liangyu Chen
Zhenbing Zeng
Source :: 2010 Second International Conference on Networks Security Wireless Communications & Trusted Computing (NSWCTC); 2010, p458-461, 4p
Publication Year :: 2010

Language :: English
ISBNs :: 9780769540115
Database :: Complementary Index
Journal :: 2010 Second International Conference on Networks Security Wireless Communications & Trusted Computing (NSWCTC)
Publication Type :: Conference
Accession number :: 81822301
Full Text :: https://doi.org/10.1109/NSWCTC.2010.242