Publication | Closed Access
Development of a formal system for representing behaviour-change theories
129
Citations
16
References
2019
Year
Behavioral SciencesEngineeringAutomated ReasoningFormal MethodsFormal SystemSemanticsFormalizationAction Language
| Year | Citations | |
|---|---|---|
Page 1
Page 1