SHIP

MaRDI QIDQ25980swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-319-27436-2_19

Described by source

• SHIP -- a logic-based language and tool to program smart environments

This page was built for software: SHIP