Skip to content

Logic in Software, Dynamical and Biological Systems.

Ashish Tiwari

VenueA*LICS
Year2011
ProceedingsLICS

Browse the full LICS paper archive.