VIAF

Virtual International Authority File

Search

Leader 00000nz a2200037n 45 0
001 WKP|Q131109724 (VIAF cluster) (Authority/Source Record)
003 WKP
005 20241221010648.0
008 241221nneanz||abbn n and d
035 ‎‡a (WKP)Q131109724‏
024 ‎‡a 0000-0002-2758-4638‏ ‎‡2 orcid‏
035 ‎‡a (OCoLC)Q131109724‏
100 0 ‎‡a Eddie B. de Lima Filho‏ ‎‡9 en‏
670 ‎‡a Author's ESBMC-Python: A Bounded Model Checker for Python Programs‏
909 ‎‡a (orcid) 0000000227584638‏ ‎‡9 1‏
919 ‎‡a esbmc Python aboundedmodelcheckerfor Python programs‏ ‎‡A ESBMC-Python: A Bounded Model Checker for Python Programs‏ ‎‡9 1‏
996 ‎‡2 BLBNB|000554377‏
996 ‎‡2 LC|n 2021252222‏
996 ‎‡2 BLBNB|000275218‏
996 ‎‡2 PTBNP|91900‏
996 ‎‡2 LC|n 85385638‏
996 ‎‡2 BNF|13972386‏
996 ‎‡2 BLBNB|000630853‏
996 ‎‡2 ISNI|0000000083235622‏
996 ‎‡2 ISNI|0000000045090880‏
996 ‎‡2 DNB|170267741‏
996 ‎‡2 ISNI|0000000068704099‏
996 ‎‡2 ISNI|0000000121406147‏
996 ‎‡2 ISNI|0000000068418690‏
996 ‎‡2 BLBNB|000491527‏
996 ‎‡2 BLBNB|000364057‏
996 ‎‡2 SUDOC|267351402‏
996 ‎‡2 ISNI|0000000074022713‏
996 ‎‡2 ISNI|0000000021805837‏
996 ‎‡2 BLBNB|000481241‏
996 ‎‡2 ISNI|0000000025309646‏
996 ‎‡2 PTBNP|17029‏
996 ‎‡2 LC|n 85022041‏
996 ‎‡2 NUKAT|n 2018134090‏
996 ‎‡2 BLBNB|000539792‏
996 ‎‡2 LC|n 2014206056‏
996 ‎‡2 LC|n 93900911‏
996 ‎‡2 PTBNP|1909440‏
996 ‎‡2 BLBNB|000251852‏
996 ‎‡2 PTBNP|205843‏
996 ‎‡2 DNB|141536322‏
996 ‎‡2 LC|no 98130374‏
996 ‎‡2 BLBNB|000226092‏
996 ‎‡2 LC|no2006066053‏
996 ‎‡2 SUDOC|281754004‏
996 ‎‡2 LC|no2015157381‏
996 ‎‡2 BLBNB|001420054‏
996 ‎‡2 DNB|1167192818‏
996 ‎‡2 BLBNB|000440289‏
996 ‎‡2 LC|n 2023254362‏
996 ‎‡2 BLBNB|000199804‏
996 ‎‡2 ISNI|0000000031930121‏
996 ‎‡2 BLBNB|000444670‏
996 ‎‡2 LC|n 92112444‏
996 ‎‡2 SUDOC|11075039X‏
996 ‎‡2 CAOONL|ncf11437379‏
996 ‎‡2 ISNI|0000000390529532‏
996 ‎‡2 LC|n 2016257610‏
996 ‎‡2 J9U|987007316932705171‏
996 ‎‡2 NII|DA11253416‏
996 ‎‡2 BLBNB|000896829‏
996 ‎‡2 BLBNB|001468934‏
996 ‎‡2 ISNI|0000000437139655‏
996 ‎‡2 PTBNP|1879108‏
996 ‎‡2 BLBNB|001569599‏
996 ‎‡2 RERO|A006291343‏
996 ‎‡2 LC|n 80113366‏
996 ‎‡2 J9U|987007601307205171‏
996 ‎‡2 DNB|1112344918‏
996 ‎‡2 BLBNB|001130438‏
996 ‎‡2 LC|n 2015247940‏
996 ‎‡2 ISNI|0000000454544361‏
996 ‎‡2 LIH|LNB:C_r_R,;=B_o_‏
996 ‎‡2 LC|n 2013201819‏
996 ‎‡2 DNB|1266129073‏
996 ‎‡2 ISNI|0000000390029060‏
996 ‎‡2 BLBNB|000623280‏
997 ‎‡a 0 0 lived 0 0‏ ‎‡9 1‏