Artikel,

Guiding user annotations for units-of-measure verification.

, , , und .
CoRR, (2020)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen