WG211/M23Kellogg Static Program Reduction via Specification Slicing

From WG 2.11
Revision as of 23:55, 15 March 2024 by Jeremy-y (talk | contribs) (Jeremy-y moved page WG211/M23Kellogg Static Program Reduction via Specification Slicing to WG211/M23Kellogg)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Redirect page
Jump to: navigation, search

Redirect to:

Retrieved from "https://wiki.hh.se/wg211/index.php?title=WG211/M23Kellogg_Static_Program_Reduction_via_Specification_Slicing&oldid=2560"