Toggle navigation
Labra's home page
Home
Publications
Posts
Projects
Teaching
Talks
Other
Contact
Slicer
A monadic program slicer
A Formal Method for program Slicing