Search results

  • Science. Vol. 12818. pp. 108–123. doi:10.1007/978-3-030-89247-0_8. ISBN 978-3-030-89246-3. S2CID 239029860. OMG OCL specification OCL Portal - The center for...
    9 KB (804 words) - 09:48, 19 August 2022
  • Science. Vol. 12818. pp. 108–123. doi:10.1007/978-3-030-89247-0_8. ISBN 978-3-030-89246-3. S2CID 239029860. Calegari, Daniel; Szasz, Nora (March 5, 2013). "Verification...
    11 KB (1,195 words) - 04:24, 25 November 2023