Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Abstraction Boundaries and Spec Driven Development in Pure Mathematics

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
Read Online Read More Add to Saved list
  • Author(s): Sub Fundamental Mathematics; Commelin, J; Topaz, A
  • Document Type:
    Electronic Resource
  • Online Access:
    https://doi.org/10.1090/bull/1831
    http://hdl.handle.net/1874/438473
    https://dspace.library.uu.nl/handle/1874/438473
    https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=d7dz6a2i7wiom976oc9ff2iqvdhv8k5x&SrcAuth=WosAPI&KeyUT=WOS:001162278100001&DestLinkType=FullRecord&DestApp=WOS_CPL
    http://www.scopus.com/inward/record.url?scp=85190725788&partnerID=8YFLogxK
    0273-0979
    Bulletin of the American Mathematical Society
    61
    2
    241
    255
  • Additional Information
    • Publisher Information:
      American Mathematical Society 2024-04
    • Availability:
      Open access content. Open access content
      Open Access (free)
    • Note:
      English
    • Other Numbers:
      QGJ oai:dspace.library.uu.nl:1874/438473
      Commelin , J & Topaz , A 2024 , ' Abstraction Boundaries and Spec Driven Development in Pure Mathematics ' , Bulletin of the American Mathematical Society , vol. 61 , no. 2 , pp. 241-255 . https://doi.org/10.1090/bull/1831
      URN:NBN:NL:UI:10-1874-438473
      222641542
      1435847072
    • Contributing Source:
      UNIVERSITEIT UTRECHT
      From OAIster®, provided by the OCLC Cooperative.
    • Accession Number:
      edsoai.on1435847072
HoldingsOnline