%0 Conference Paper %1 conf/itp/AusafDU16 %A Ausaf, Fahad %A Dyckhoff, Roy %A Urban, Christian %B ITP %D 2016 %E Blanchette, Jasmin Christian %E Merz, Stephan %I Springer %K dblp %P 69-86 %T POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl). %U http://dblp.uni-trier.de/db/conf/itp/itp2016.html#AusafDU16 %V 9807 %@ 978-3-319-43143-7

@inproceedings{conf/itp/AusafDU16, added-at = {2017-05-21T00:00:00.000+0200}, author = {Ausaf, Fahad and Dyckhoff, Roy and Urban, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2dec2315bb9e525c530102bf796a5157a/dblp}, booktitle = {ITP}, crossref = {conf/itp/2016}, editor = {Blanchette, Jasmin Christian and Merz, Stephan}, ee = {https://doi.org/10.1007/978-3-319-43144-4_5}, interhash = {fec4ae7c8b56860abe524471a20879f8}, intrahash = {dec2315bb9e525c530102bf796a5157a}, isbn = {978-3-319-43143-7}, keywords = {dblp}, pages = {69-86}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:14:16.000+0200}, title = {POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl).}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2016.html#AusafDU16}, volume = 9807, year = 2016 }