TRX: A formally verified parser interpreter (2011)

Cached

Download Links

by Adam Koprowski , Henri Binsztok
Venue:LOGICAL METHODS IN COMPUTER SCIENCE 7(2
Citations:5 - 0 self