projects / iotcloud.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8744732) | patch
Reconciling pseudocode and formal guarantees - part 1
authorrtrimana <rtrimana@uci.edu>
Fri, 5 Aug 2016 23:40:25 +0000 (16:40 -0700)
committerrtrimana <rtrimana@uci.edu>
Fri, 5 Aug 2016 23:40:25 +0000 (16:40 -0700)
commit1a70923f0c82acd77ced5105b9e1097209befdf9
tree736bfa3373fe95a944b40951217f54da21182e2atree | snapshot
parent8744732c7a461b5a99bf961eaa329aabce91d0d2commit | diff
Reconciling pseudocode and formal guarantees - part 1
doc/iotcloud.tex diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.