Vladimir Komendantsky. Reflexive Toolbox for Regular Expression Matching. In Proc. 6th ACM SIGPLAN Workshop Programming Languages meets Program Verification (PLPV), Philadelphia, PA, USA, January 2012.
[ Regexp ]
@InProceedings{komendantsky2012,
Author = {Komendantsky, Vladimir},
Title = {Reflexive Toolbox for Regular Expression Matching},
BookTitle = {Proc. 6th ACM SIGPLAN Workshop Programming Languages meets Program Verification (PLPV)},
Publisher = {ACM Press},
Address = {Philadelphia, PA, USA},
Month = {January},
Year = {2012}
}
Get EndNote Reference (.ref)