K Definitions as Push-down Specifications

Project(s): K

Grant(s): DAK

PDF IC070 BIB