Start a new search
Add/Remove Filters (1 filters currently applied)

Results 1-4 of 4 (Search time: 0.034 seconds).
 |  Relevance


  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
12015Executable calculational expessionsCháves Alonso, Fransisco José; Rocha Niño, Hernán Camilo
22017Axiomatic Set Theory à la Dijkstra and ScholtenAcosta Gempeler, Ernesto  ; Aldana Gómez, Bernarda  ; Bohórquez Villamizar, Jaime Alejandro  ; Rocha Niño, Hernán Camilo 
327-Oct-2016Library Management for PVSRomero, Miguel  ; Rocha Niño, Hernán Camilo 
42016Double-spend Attack Models with Time Advantange for BitcoinPinzón, Carlos  ; Rocha Niño, Hernán Camilo