Search:

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

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

 

  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
127-Oct-2016Library Management for PVSRomero, Miguel  ; 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 
32016Double-spend Attack Models with Time Advantange for BitcoinPinzón, Carlos  ; Rocha Niño, Hernán Camilo 
42015Executable calculational expessionsCháves Alonso, Fransisco José; Rocha Niño, Hernán Camilo