Cited By
View all- Andreescu OJensen TLescuyer S(2016)Correlating Structured Inputs and Outputs in Functional SpecificationsSoftware Engineering and Formal Methods10.1007/978-3-319-41591-8_7(85-103)Online publication date: 23-Jun-2016
- Kogtenkov AMeyer BVelder S(2015)Alias calculus, change calculus and frame inferenceScience of Computer Programming10.1016/j.scico.2013.11.00697:P1(163-172)Online publication date: 1-Jan-2015
- Cuervo Parrino BGaleotti JGarbervetsky DFrias M(2015)TacoFlowSoftware and Systems Modeling (SoSyM)10.1007/s10270-014-0401-914:1(45-63)Online publication date: 1-Feb-2015
- Show More Cited By