303LON and 308LON Business research methods: data sources Unit: 3.
Facilitating Programming Verification with Dependent Types Hongwei Xi University of Cincinnati.